#include <stdio.h>

int main(int argc, char *argv[]) {

    int w = 4, s = 3;
    int count = 0;
    
    for (size_t i = 0; i <= w; i++)
    {
        for (size_t k = 0; k <= s; k++)
        {
            if(i==0&&k==0)
                continue;
            else
                count++;
        }
        
    }

    printf("%d", count);

    return 0;
}